Bernhard Steffen: искать на сайте Z-Library

Tiziana Margaria (editor), Bernhard Steffen (editor)

Год:

2021

Язык:

english

Файл:

PDF, 29.21 MB

0 / 5.0

english, 2021

WALCOM: Algorithms and Computation

Chun-Cheng Lin & Bertrand M. T. Lin & Giuseppe Liotta & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Год:

2023

Язык:

english

Файл:

PDF, 9.73 MB

0 / 5.0

english, 2023

Computational Science and Its Applications – ICCSA 2022 Part I

Osvaldo Gervasi, Beniamino Murgante, Eligius M. T. Hendrix, David Taniar, Bernady O. Apduhan, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Moti Yung

Год:

2022

Язык:

english

Файл:

PDF, 71.48 MB

0 / 4.0

english, 2022

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Springer International Publishing;Springer

Год:

2020

Язык:

english

Файл:

PDF, 27.77 MB

0 / 0

english, 2020

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Randal E. Bryant (auth.), Bernhard Steffen (eds.)

Год:

1998

Язык:

english

Файл:

PDF, 3.04 MB

0 / 0

english, 1998

Computing and Software Science: State of the Art and Perspectives

Bernhard Steffen, Gerhard Woeginger

Год:

2019

Язык:

english

Файл:

PDF, 25.29 MB

0 / 0

english, 2019

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Springer International Publishing;Springer

Год:

2020

Язык:

english

Файл:

PDF, 32.16 MB

0 / 0

english, 2020

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

Год:

2019

Язык:

english

Файл:

PDF, 9.90 MB

0 / 0

english, 2019

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Spyridon Bakas & Alessandro Crimi & Ujjwal Baid & Sylwia Malec & Monika Pytlarz & Bhakti Baheti & Maximilian Zenk & Reuben Dorent & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Год:

2023

Файл:

PDF, 46.35 MB

0 / 0

2023

Computational Science and Its Applications – ICCSA 2022

Osvaldo Gervasi & Beniamino Murgante & Eligius M. T. Hendrix & David Taniar & Bernady O. Apduhan & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Год:

2022

Язык:

english

Файл:

EPUB, 122.08 MB

0 / 4.5

english, 2022

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Springer International Publishing;Springer

Год:

2020

Язык:

english

Файл:

PDF, 28.03 MB

0 / 0

english, 2020

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

1996

Язык:

english

Файл:

PDF, 6.37 MB

0 / 0

english, 1996

Leveraging applications of formal methods, verification and validation

Tiziana Margaria-Steffen, Bernhard Steffen

Год:

2008

Язык:

english

Файл:

PDF, 12.67 MB

0 / 0

english, 2008

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Год:

2021

Язык:

english

Файл:

PDF, 7.67 MB

0 / 0

english, 2021

Computational Science and Its Applications – ICCSA 2022

Osvaldo Gervasi & Beniamino Murgante & Eligius M. T. Hendrix & David Taniar & Bernady O. Apduhan & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Год:

2022

Язык:

english

Файл:

EPUB, 74.87 MB

0 / 5.0

english, 2022

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Tiziana Margaria, Bernhard Steffen (eds.)

Год:

2016

Язык:

english

Файл:

PDF, 64.11 MB

0 / 0

english, 2016

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

2012

Язык:

english

Файл:

PDF, 8.96 MB

0 / 0

english, 2012

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Tiziana Margaria, Bernhard Steffen (eds.)

Год:

2014

Язык:

english

Файл:

PDF, 17.08 MB

0 / 0

english, 2014

Computing and software science, state of the art and perspectives

Springer International Publishing : Imprint: Springer

Steffen, Bernhard., Woeginger, Gerhard

Год:

2019

Язык:

english

Файл:

PDF, 6.53 MB

0 / 0

english, 2019

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Год:

2021

Язык:

english

Файл:

EPUB, 601 KB

0 / 0

english, 2021

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

1996

Язык:

english

Файл:

DJVU, 3.60 MB

0 / 0

english, 1996

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Год:

2010

Язык:

english

Файл:

PDF, 13.99 MB

0 / 0

english, 2010

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

2006

Язык:

english

Файл:

PDF, 2.40 MB

0 / 0

english, 2006

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)

Год:

2002

Язык:

english

Файл:

PDF, 2.81 MB

0 / 0

english, 2002

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 35.10 MB

0 / 0

english, 2009

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Язык:

english

Файл:

EPUB, 10.33 MB

0 / 0

english

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 13.00 MB

0 / 0

english, 2010

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 13.02 MB

0 / 0

english, 2010

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman & António Ravara & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Год:

2023

Язык:

english

Файл:

PDF, 6.81 MB

0 / 5.0

english, 2023

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Год:

2010

Язык:

english

Файл:

PDF, 9.82 MB

0 / 0

english, 2010

Bildverarbeitung fur die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. Marz 2009 in Heidelberg

Sylvia Glaßer, Steffen Oeltze, Anja Hennemuth, Skadi Wilhelmsen, Bernhard Preim (auth.), Hans-Peter Meinzer, Thomas Martin Deserno, Heinz Handels, Thomas Tolxdorff (eds.)

Год:

2009

Язык:

german

Файл:

PDF, 17.33 MB

0 / 0

german, 2009

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

Год:

1998

Язык:

english

Файл:

PDF, 7.31 MB

0 / 0

english, 1998

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

2012

Язык:

english

Файл:

PDF, 11.26 MB

0 / 0

english, 2012

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Файл:

RTF , 3.98 MB

0 / 0

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 8.98 MB

0 / 0

english, 2010

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

2006

Язык:

english

Файл:

PDF, 2.13 MB

0 / 0

english, 2006

Formal Methods Teaching

João F. Ferreira, Alexandra Mendes, Claudio Menghi, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Gerhard Woeginger, Moti Yung

Год:

2021

Язык:

english

Файл:

AZW3 , 5.69 MB

0 / 0

english, 2021

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

Год:

1998

Язык:

english

Файл:

DJVU, 6.59 MB

0 / 0

english, 1998

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 9.02 MB

0 / 0

english, 2010

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 9.02 MB

0 / 0

english, 2010

Advances in Cryptology – CRYPTO 2022

Yevgeniy Dodis & Thomas Shrimpton & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Год:

2022

Файл:

PDF, 10.06 MB

0 / 0

2022

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen

Год:

2019

Язык:

english

Файл:

PDF, 9.84 MB

0 / 0

english, 2019

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Год:

2021

Язык:

english

Файл:

LIT , 5.52 MB

0 / 0

english, 2021

Computer Vision – ECCV 2022 Workshops

Leonid Karlinsky & Tomer Michaeli & Ko Nishino & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Год:

2023

Файл:

PDF, 70.86 MB

0 / 0

2023

Graphical Models for Security

Harley Eades III & Olga Gadyatskaya & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Год:

2020

Язык:

english

Файл:

PDF, 13.15 MB

0 / 5.0

english, 2020

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Год:

2021

Язык:

english

Файл:

MOBI , 2.09 MB

0 / 0

english, 2021

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Год:

2021

Язык:

english

Файл:

FB2 , 7.71 MB

0 / 0

english, 2021

Bildverarbeitung für die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. März 2009 in Heidelberg